Performance and reliability model checking and model construction
نویسنده
چکیده
Over the last decade formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. The intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra, and to model checking as a technique to analyse stochastic models.
منابع مشابه
ارائه یک الگوی کاربردی برای ارزیابی عملکرد HSE پیمانکاران ساخت و ساز
Background and Aims: Performance assessment of the HSE-MS in the contractors is a key step in the contractor’s management process and it forms the basis of continuous improvement. Therefore, the present study aims to develop a practical model for the performance assessment of Health, Safety and Environment Management System (HSE-MS) of construction contractors. Methods: In this an...
متن کاملEvaluating the Performance of Health, Safety, & Environment Management System (HSE-MS) in Dam Design and Construction Projects in Tehran Industrial Group based on EFQM Enterprise Excellence Model
Introduction: Comprehensive and reliable performance evaluation of organizations has always been one of the main concerns of stakeholders and managers of organizations. Performance evaluation can raise awareness of the progress made in improving the performance of any organizations, especially in the field of health, safety, and environment (HSE) and thus, create the necessary motivation and op...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملConstruction and Verification of Performance and Reliability Models
Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. Instead of striving for mathematical rigour, the intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra,...
متن کاملبهکارگیری الگوی برنامهریزی آرمانی در تخصیص بهینه بودجه عمرانی در شهرداری اصفهان
With the complexity advent of cities and increase of their problems, municipalities manage the problems of cities by employing strategies such as City Development Strategy (CDS). This research has a descriptive – analytic essence, which it sets to the application of Goal Programming model for optimal allocation of construction budget of Isfahan Municipality. It has been tried to identify the mo...
متن کامل